Narciso Martí-Oliet: cercare sul sito Z-Library

Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Accesso libero alla conoscenza e alla cultura.

Donazioni 15 September, 2024 – 1 Ottobre, 2024

Z-Library è una delle più grandi biblioteche online al mondo che contiene più di 17,000,000 libri e 84,837,000 articoli. Miriamo a rendere la letteratura accessibile a tutti. Oggi (15 September, 2024) abbiamo iniziato una raccolta fondi aggiuntiva per la manutenzione e lo sviluppo del progetto.

Anche i download ILLIMITATI (per 31 giorni dopo il giorno della donazione) sono disponibili per i contributori TUTTI che doneranno durante il periodo di raccolta fondi fino al 1 Ottobre, 2024.

Sulla raccolta fondiPer saperne di più

Fare una donazione

Libri (13)
Più popolari
Lista
- Lista
- Tabella

1

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 9.86 MB

0 / 4.0

english, 1999

2

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Anno:

1999

Lingua:

english

File:

DJVU, 2.64 MB

0 / 0

english, 1999

3

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

Anno:

2008

Lingua:

spanish

File:

EPUB, 1.16 MB

0 / 0

spanish, 2008

4

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Anno:

2008

Lingua:

spanish

File:

AZW3 , 3.87 MB

0 / 0

spanish, 2008

5

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

Anno:

2008

File:

LIT , 3.23 MB

0 / 0

2008

6

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Anno:

2008

Lingua:

spanish

File:

MOBI , 3.31 MB

0 / 0

spanish, 2008

7

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Anno:

2008

Lingua:

spanish

File:

FB2 , 5.53 MB

0 / 0

spanish, 2008

8

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Springer-Verlag Berlin Heidelberg

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)

Anno:

2007

Lingua:

english

File:

PDF, 5.51 MB

0 / 0

english, 2007

9

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), D. M. Gabbay, F. Guenthner (eds.)

Anno:

2002

Lingua:

english

File:

PDF, 10.14 MB

0 / 0

english, 2002

10

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Springer International Publishing;Springer

Santiago Escobar, Narciso Martí-Oliet

Anno:

2020

Lingua:

english

File:

PDF, 5.57 MB

0 / 0

english, 2020

11

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer International Publishing

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)

Anno:

2015

Lingua:

english

File:

PDF, 17.75 MB

0 / 0

english, 2015

12

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Linda Brodo, Roberto Bruni (auth.), Narciso Martí-Oliet, Miguel Palomino (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 5.79 MB

0 / 0

english, 2013

13

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Springer International Publishing

Christiano Braga, Narciso Martí-Oliet (eds.)

Anno:

2015

Lingua:

english

File:

PDF, 4.79 MB

0 / 0

english, 2015